Some Solutions to the Ignoring Problem
نویسندگان
چکیده
The ignoring problem refers to the fact that some actions may be infinitely postponed by a state space search algorithm that makes use of partial order reduction (POR). The prevention of this phenomenon is mandatory if one wants to verify more elaborate properties than the deadlock freeness, e.g., safety or liveness properties. We present in this work some solutions to this problem. In order to assess the quality of our propositions, we included them in our model checker Helena. We report the result of some experiments which show that our algorithms yield better reductions than state of the art algorithms like those implemented in the Spin tool.
منابع مشابه
The method of fundamental solutions for transient heat conduction in functionally graded materials: some special cases
In this paper, the Method of Fundamental Solutions (MFS) is extended to solve some special cases of the problem of transient heat conduction in functionally graded materials. First, the problem is transformed to a heat equation with constant coefficients using a suitable new transformation and then the MFS together with the Tikhonov regularization method is used to solve the resulting equation.
متن کاملInfinitely Many Solutions for a Steklov Problem Involving the p(x)-Laplacian Operator
By using variational methods and critical point theory for smooth functionals defined on a reflexive Banach space, we establish the existence of infinitely many weak solutions for a Steklov problem involving the p(x)-Laplacian depending on two parameters. We also give some corollaries and applicable examples to illustrate the obtained result../files/site1/files/42/4Abstract.pdf
متن کاملExistence of triple positive solutions for boundary value problem of nonlinear fractional differential equations
This article is devoted to the study of existence and multiplicity of positive solutions to a class of nonlinear fractional order multi-point boundary value problems of the type−Dq0+u(t) = f(t, u(t)), 1 < q ≤ 2, 0 < t < 1,u(0) = 0, u(1) =m−2∑ i=1δiu(ηi),where Dq0+ represents standard Riemann-Liouville fractional derivative, δi, ηi ∈ (0, 1) withm−2∑i=1δiηi q−1 < 1, and f : [0, 1] × [0, ∞) → [0, ...
متن کاملOn the optimization of Dombi non-linear programming
Dombi family of t-norms includes a parametric family of continuous strict t-norms, whose members are increasing functions of the parameter. This family of t-norms covers the whole spectrum of t-norms when the parameter is changed from zero to infinity. In this paper, we study a nonlinear optimization problem in which the constraints are defined as fuzzy relational equations (FRE) with the Dombi...
متن کاملPosynomial geometric programming problem subject to max–product fuzzy relation equations
In this article, we study a class of posynomial geometric programming problem (PGPF), with the purpose of minimizing a posynomial subject to fuzzy relational equations with max–product composition. With the help of auxiliary variables, it is converted convert the PGPF into an equivalent programming problem whose objective function is a non-decreasing function with an auxiliary variable. Some pr...
متن کامل